1. Advances in Database Technology - EDBT '94 :
پدیدآورنده : edited by Matthias Jarke, Janis Bubenko, Keith Jeffery.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Data structures (Computer science),Programming languages (Electronic computers)
رده :
QA76
.
9
.
D3
E358
1994
2. CONCUR'91 :
پدیدآورنده : J.C.M. Baeten, J.F. Groote (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Parallel processing (Electronic computers),Parallel processing (Electronic computers) -- Congresses.,Parallélisme (Informatique) -- Congrès.
3. Communicating Process Architectures 2002 :
پدیدآورنده : edited by James Pascoe [and others].
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer multitasking, Congresses.,occam (Computer program language), Congresses.,Parallel processing (Electronic computers), Congresses.,Fonctionnement multitâche, Congrès.,Occam (Langage de programmation), Congrès.,Parallélisme (Informatique), Congrès.,Computer multitasking.,COMPUTERS-- Programming Languages-- C♯,COMPUTERS-- Programming Languages-- Java.,COMPUTERS-- Programming Languages-- Pascal.,occam (Computer program language),Parallel processing (Electronic computers)
رده :
QA76
.
73
.
O2
W67
2002eb
4. Current trends in concurrency :
پدیدآورنده : edited by J.W. de Bakker, W.-P. de Roever, and G. Rozenberg.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Parallel processing (Electronic computers),Parallel processing (Electronic computers) -- Congresses.,Parallélisme (Informatique) -- Congrès.
5. Declarative systems
پدیدآورنده : / edited by G. David, R. T. Boute, Boute, B. D. Shriver
کتابخانه: Central Library and Documents Center of Tehran University (Tehran)
موضوع : Electronic data processign - Distributed processing -- Congresses,Parallel Processing (Electronic computers) -- Congresses,Programming languages ( Electronic computer) --Semantics -- Congresses
رده :
QA
76
.
9
.
D5I343
1988
6. Fairness
پدیدآورنده : Francez, Nissim.
موضوع : ، Electronic digital computers-- Programming,، Programming languages )Electronic computers(-- Semantics,، Parallel processing )Electronic computers(
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
7. Fairness
پدیدآورنده : Francez, Nissim
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computer programming,، Programming languages )Electronic computers( -- Semantics,، Parallel processing )Electronic computers(
رده :
QA
76
.
6
.
F72
1986
8. It's all about coordination :
پدیدآورنده : Frank de Boer, Marcello Bonsangue, Jan Rutten (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer multitasking.,Electronic data processing-- Distributed processing.,Formal methods (Computer science),Parallel processing (Electronic computers),Artificial intelligence.,Computer modelling & simulation.,Computer multitasking.,Computer programming-- software development.,Computers-- Computer Simulation.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Electronic data processing-- Distributed processing.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Parallel processing (Electronic computers),Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
58
.
I87
2018eb
9. Languages for paralle architecturres
پدیدآورنده : / edited by j. w . de bakker
کتابخانه: Central Library and Documents Center of Tehran University (Tehran)
موضوع : Parallel Processing (Computer Science),Programming languages ( Electronic computers) --Semantics,Computer architecture
رده :
QA
76
.
6
.
L3353
1989
10. Mathematical models for the semantics of parallelism : Advanced School, Rome, Italy, September 24-October 1,1986: Proceedings
پدیدآورنده : Marisa Venturini Zilli )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Formal languages -- Semantics,Congresses ، Parallel programming )Computer science(,Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
280
11. Semantics of concurrent computation :
پدیدآورنده : edited by Gilles Kahn.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Parallel processing (Electronic computers) -- Congresses.,Programming languages (Electronic computers) -- Semantics -- Congresses.,Traitement simultané (Ordinateurs) -- Congrès.
رده :
QA76
.
6
E358
1979
12. Semantics of concurrent computation : proceedings of the international symposium, Evian, France, July 2-4, 1979
پدیدآورنده : International Symposium on Semantics of Concurrent Computation, )9791, Evian-les-Bains, France(
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Parallel processing )Electronic computers(-- Congresses,، Programming languages )Electronic computers(-- Semantics-- Congresses
رده :
QA
76
.
6
.
I577
1979
13. Semantics of parallelism :
پدیدآورنده : Michael W. Shields
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Parallel processing (Electronic computers),Programming languages (Electronic computers) -- Semantics
رده :
QA76
.
58
M534
1997
14. Semantics of systems of concurrent processes : LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, proceedings
پدیدآورنده : Ecole de printemps dinformatique theorique, )0991, La Roche-Posay, France(
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Parallel processing )Electronic computers(,، Programming languages )Electronic computers(-- Semantics
رده :
QA
76
.
58
.
E26
1990
15. Semantics of systems of concurrent processes : LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, Proceedings
پدیدآورنده : I. Guessarian )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Parallel processing )Electronic computers(,، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
L28
Vol
.
469
